w{-}s($w$; $i$; $t$; $x$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$1of(2of(2of(2of($w$))))($i$,$t$,$x$)